Supervisor : Kim Marriott Second Reader : Graham

Quantum Complexity Classes

This material is the final thesis of the one year International Master's Program, supported by the Vrije Universiteit, Amsterdam. I wish to thank my supervisor Harry Buhrman for fruitful discussions. I thank my second reader Femke van Ramsdonk for reading the draft of this thesis thoroughly.

Global variables in HAL , a logi

Ìó Øøø Øø× Óó Ààää Ààä Øùøóöööð

Global variables in HAL , a logi implementation

Cobweb: A Constraint-Based WEB Browser